class start {
  __attribute__ ((annotate ("an annotation"))) int method(int);
};
